Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
411	Characterizing the interpretation of set theory in Martin-L¨of type theory Sergei Tupailo∗ Michael Rathjen Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2004-07-16 16:59:29
412	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
413	Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2016-05-17 15:07:48
414	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
415	T HE HIERARCHIES M ATHIAS - LIKE FORCING Controlling iterated jumps of Ramsey-type theorems Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-09-20 15:03:06 Computability theory Low
416	Journal of Experimental Psychology: Learning, Memory, and Cognition 2013, Vol. 39, No. 5, 1473–1490 © 2013 American Psychological Association/$12.00 DOI: a0032397 Add to Reading List Source URL: cocosci.berkeley.edu Language: English - Date: 2015-10-08 17:16:50 Randomness Design of experiments Hypothesis testing Statistical randomness Statistical theory Fair coin Random sequence Likelihood-ratio test Random variable Statistical hypothesis testing Statistics Type I and type II errors
417	Realizing Mahlo set theory in type theory Michael Rathjen∗ Abstract After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo se Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:56:28
418	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
419	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma

UPDATE